From 4e2ae30a4733cd6dc4786465a0b2d409b2c99b32 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Mon, 18 May 2020 12:50:57 +0200
Subject: [PATCH] dateMenu: Remove unused property

This is a left-over from an earlier iteration where the session's
presence status was used rather than the GSetting.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2796
---
 js/ui/dateMenu.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/js/ui/dateMenu.js b/js/ui/dateMenu.js
index 9b0d65ccc..576f76c96 100644
--- a/js/ui/dateMenu.js
+++ b/js/ui/dateMenu.js
@@ -485,7 +485,6 @@ class MessagesIndicator extends St.Icon {
 
         this._sources = [];
         this._count = 0;
-        this._doNotDisturb = false;
 
         this._settings = new Gio.Settings({
             schema_id: 'org.gnome.desktop.notifications',
-- 
2.39.5